Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the

Source URL: schematics.sourceforge.net

• Proof theory
• Mathematical logic
• Logic
• Mathematics
• CurryHoward correspondence
• Dependently typed programming
• Logic in computer science
• Philosophy of computer science
• Type theory
• Symbol
• Sequent
• Confidence interval

RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on

Source URL: www.risc.jku.at

• Theoretical computer science
• Mathematics
• Mathematical logic
• Automated theorem proving
• Logic in computer science
• Type theory
• Unification
• Logic programming
• Anti-unification
• Function
• HindleyMilner type system

PDF Document

Source URL: www.zib.de

• Mathematical optimization
• Numerical analysis
• Operations research
• Combinatorial optimization
• Mathematics
• NP-complete problems
• Numerical software
• Column generation
• Linear programming
• SCIP
• Branch and bound
• DantzigWolfe decomposition

PDF Document

Source URL: fritzo.org

• Computer programming
• Adjoint functors
• Software engineering
• Mathematical analysis
• Markov processes
• Probability theory
• Monad
• Probability distribution
• Kleisli category
• Markov chain
• Probability
• Monoidal monad

PDF Document

Source URL: aplas12.kuis.kyoto-u.ac.jp

• Programming language theory
• Model checking
• Mathematical logic

MATHEMATICAL ENGINEERING TECHNICAL REPORTS Generate, Test, and Aggregate —A Calculation-based Framework for Systematic Parallel Programming with

Source URL: www.ipl-lab.org

Robustness and U.S. Monetary Policy Experimentation∗ Timothy Cogley† Riccardo Colacito‡ Lars Peter Hansen§ Thomas J. Sargent¶

Source URL: www.tomsargent.com

• Decision theory
• Control theory
• Mathematical optimization
• Dynamic programming
• Bellman equation
• Thomas J. Sargent
• Loss function
• Prior probability
• Hyperparameter
• Statistics
• Bayesian statistics
• Economics

Hybrid Zero Dynamics based Multiple Shooting Optimization with Applications to Robotic Walking Ayonga Hereid1 , Christian M. Hubicki2 , Eric A. Cousineau1 , Jonathan W. Hurst2 and Aaron D. Ames1 Abstract— Hybrid zero d

Source URL: www.bipedalrobotics.com

• Mathematical analysis
• Classical mechanics
• Robot control
• Optimal control
• Quadratic programming
• Robot locomotion
• Trajectory optimization
• Action
• Linear programming
• Mathematical optimization
• Operations research
• Physics

Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand

Source URL: www.cs.waikato.ac.nz

• Mathematical logic
• Programming idioms
• Logic programming
• Prolog
• Deductive database
• Clause
• Stratification
• Horn clause
• Recursion
• Computer programming
• Software engineering
• Computing

Robust Control and Model Misspecification Lars Peter Hansen Thomas J. Sargent Gauhar A. Turmuhambetova Noah Williams∗ September 26, 2005

Source URL: www.tomsargent.com

• Dynamic programming
• Statistical theory
• Stochastic control
• Hamilton–Jacobi–Bellman equation
• Optimal control
• Partial differential equation
• Kullback–Leibler divergence
• Statistics
• Mathematical analysis
• Mathematics